منابع مشابه
Dynamic Bits and Pieces
This report is the first of a planned sequence of annual updates of the book "Exploring Logical Dynamics", CSLI Publications, Stanford, summer 1996. It contains a number of further results obtained since its first publication. Sections 1, 2, 3 concern various issues in modal logic, 4, 5, 6 dynamic logic, and 7 temporal logic, while Sections 8, 9 digress into infinitary logic. Some corrigenda, a...
متن کاملPlädoyer für ein einheitliches Grundgerüst bei der System- und Softwaremodellierung
This paper originated in the ForSoft project supported by the Bayerische Forschungsstiftung.
متن کاملSynthesizing Ranking Functions from Bits and Pieces
In this work, we present a novel approach based on recent advances in software model checking to synthesize ranking functions and prove termination (and non-termination) of imperative programs. Our approach incrementally refines a termination argument from an under-approximation of the terminating program state. Specifically, we learn bits of information from terminating executions, and from th...
متن کاملModel Checking in Bits and Pieces
The central thesis explored in this paper is that parallel model checking is easily achieved through compositional methods. This may strike the reader as being self-evident. Nevertheless, it does not appear to have been considered before. The justification comes from the following observations: (1) the efficacy of a parallel program is inversely proportional to the amount of synchronization and...
متن کاملEin Plädoyer für ein Ende der Ausgrenzung der digitalen Welt (The Virtual Statement Considered Harmful)
Zusammenfassung „Virtuell“ steht seit geraumer Zeit für Phänomene menschlichen Handelns, die durch vernetzte Computer erst entstanden. Dieser neue Begriff mit langer Tradition in Latein und Französisch lenkte die Aufmerksamkeit von Entscheidungsträgern in Unternehmen, Organisationen und der Gesellschaft erfolgreich auf dieses neue Gestaltungsfeld. Virtuell aber von real abzugrenzen, hat den Ker...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für Medienwissenschaft
سال: 2021
ISSN: 2296-4126
DOI: 10.14361/zfmw-2021-130108